1. A modern perspective on type theory :
پدیدآورنده : by Fairouz Kamareddine, Twan Laan, and Rob Nederpelt.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Type theory.,MATHEMATICS-- Infinity.,MATHEMATICS-- Logic.,Type theory.,Type theory.,Typentheorie.
رده :
QA9
.
K225
2004
2. A modern perspective on type theory
پدیدآورنده : / by Fairouz Kamareddine, Twan Laan, and Rob Nederpelt
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Type theory.
رده :
QA9
,.
K225
,
2004
